It's been a while since the last time I went there... There's I
would say mostly Asian food.
Let's see, if you're lucky, there's oysters. Then the usual salad
stuff. There's a station that serves different food on different
days. I think once I went was oyster omelette, another time was
those carved meats (or something). IIRC there's porridge and laksa.
Then there's a whole row of those cooked food, some International,
some Asian. Dessert there's cakes and ice cream(?), durian pengat.
And there's a coffee machine and a selection of tea.
Food quality not bad. Service quality also quite good.
My $0.02 
